prove it is irrational